Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
31	GreenSock Cheat Sheet TweenLite - TweenMax - TimelineLite - TimelineMax TweenLite Documentation: TweenLite - http://bit.ly/TweenLite Add to Reading List Source URL: ihatetomatoes.net Language: English - Date: 2016-06-30 20:33:33 Software engineering Human development Software Scripting languages Actuarial science Financial risk Mathematical finance Value at risk Tween JavaScript Preadolescence Bitly
32	QED.sty — right-justified end-of-proof mark Paul Taylor Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:57:49 Software Computing Logic Mathematical proofs Proof theory Logical consequence Statements Theorem LaTeX Ed TeX QED
33	IAMC Architecture and Prototyping: A Status Report P. Wang∗, S. Gray†, N. Kajler‡, D. Lin§, W. Liao, X. Zou Institute for Computational Mathematics Kent State University Kent, Ohio 44242, U.S.A. Add to Reading List Source URL: icm.mcs.kent.edu Language: English - Date: 2002-05-12 22:00:58 Software Computing Application software Mathematical markup languages Formula editors Cross-platform software MathML Markup languages Wolfram Mathematica Clientserver model Design Science OpenMath
34	Terrain English version – SOSI standard 4.0 Add to Reading List Source URL: kartverket.no Language: English - Date: 2015-07-22 04:38:41 Software engineering Mathematical optimization Constraint Contour line Class Computer programming Computing
35	Introduction to MATLAB Alisdair Tullo Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2015-01-09 09:18:33 Software Application software Mathematical software Array programming languages Cross-platform software Linear algebra MATLAB Parallel computing Robotics Toolbox for MATLAB
36	Pictures of chaos from a spreadsheet Barry Kissane Murdoch University I have recently had the pleasure of reading a rather remarkable little book (Tuck & de Mestre, 1991) directed at the middle secondary years and based Add to Reading List Source URL: wwwstaff.murdoch.edu.au Language: English - Date: 2000-03-05 23:58:04 Mathematics Exponentials Mathematical analysis Spreadsheet software Spreadsheet Recurrence relation Logarithm Exponentiation Numbers Chaos theory Exponential growth Equation
37	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
38	History dependent public policies David Evans ∗ Thomas J. Sargent‡† Add to Reading List Source URL: www.tomsargent.com Language: English - Date: 2015-04-08 13:04:02 Computing Software Computer programming Equations Mathematical optimization Application programming interfaces Bellman equation Control theory Dynamic programming Qt P22 Ramsey problem
39	FY 2011 UTSF Project Request Summary - UpdatedUpdatedAmount Requested Add to Reading List Source URL: it.okstate.edu Language: English - Date: 2010-04-28 12:11:36 Software Mathematical software Numerical analysis Cross-platform software LabVIEW Numerical software Massachusetts Institute of Technology
40	Automated Empirical Optimization of High Performance Floating Point Kernels R. Clint Whaley University of Texas, San Antonio and David B. Whalley Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2005-10-14 18:53:03 Software Computing Numerical linear algebra Numerical software Compiler optimizations Automatically Tuned Linear Algebra Software Basic Linear Algebra Subprograms Kernel Mathematical optimization Program optimization Static single assignment form Loop unrolling